Search results
Concurrency and Computation: Practice and Experience > 35 > 24 > n/a - n/a
Software Testing, Verification and Reliability > 31 > 3 > n/a - n/a
Formal Methods in System Design > 2019 > 54 > 3 > 416-448
Software Quality Journal > 2018 > 26 > 4 > 1519-1552
Science of Computer Programming > 2017 > 145 > C > 13-36
Advances in Intelligent and Soft Computing > Advances in Computer Science, Intelligent System and Environment > 251-255
EPJ Nonlinear Biomedical Physics > 2016 > 4 > 1 > 1-19
Annals of Telecommunications > 2015 > 70 > 3-4 > 107-125
Australian & New Zealand Journal of Statistics > 56 > 4 > 309 - 329
Scandinavian Journal of Statistics > 41 > 2 > 365 - 381